Суждение — форма мышления, в которой что-либо утверждается или отрицается о предмете, его свойствах или отношениях между предметами. Простые суждения — суждения, составными частями которых являются понятия. Простое суждение можно разложить только на понятия.
Субъект суждения — это мысль о каком-то предмете, понятие о предмете суждения (логическое подлежащее).
Предикат суждения — мысль об известной части содержания предмета, которое рассматривается в суждении (логическое сказуемое).
Логическая связка — мысль об отношении между предметом и выделенной частью его содержания (иногда только подразумевается).
Квантор— указывает, относится ли суждение ко всему объему понятия, выражающего субъект, или только к его части: «некоторые», «все» и т. п.
Классификация простых суждений:
По качеству
Утвердительные — S есть P. Пример: «Люди пристрастны к самим себе».
Отрицательные — S не есть P. Пример: «Люди не поддаются лести».
По объёму
Общие — суждения, которые справедливы относительно всего объема понятия (Все S суть P). Пример: «Все растения живут».
Частные — суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения суть хвойные».
По содержанию
атрибутивные, или суждения о свойствах. Это суждения, в которых утверждается или отрицается наличие признаков-свойств (атрибутов) у субъекта. Признаки-свойства характеризуют предметы, взятые сами по себе, вне связи с другими предметами. Это такие признаки, как цвет, форма, вес, плотность и т.д.
релятивные, или суждения об отношениях. Это суждения, в которых утверждается или отрицается наличие у каких-либо предметов (не менее двух) признаков-отношений. Такие признаки характеризуют предметы с точки зрения их отношений, связей, взаимодействий с другими предметами: "выше", "ниже", "родственник", и т.д. и т.п.
экзистенциальные суждения, или суждения существования. Это суждения, в которых утверждается или отрицается существование или несуществование предметов, явлений и т. д. например, "Существуют демократические государства", "Не существует идеальной демократии" и т.п. В суждениях существования не идет речь о признаках предметов как таковых (свойствах или отношениях), в них утверждается или отрицается само наличие предметов или их признаков. Эти суждения составляют основу всех наших рассуждений, так как прежде чем выяснять признаки-свойства или признаки-отношения, следует установить само существование этих предметов или соответствующих признаков.
По отношению между подлежащим и сказуемым
Субъект и предикат суждения могут быть распределены (индекс «+») или не распределены (индекс «-»).
Распределено — когда в суждении подлежащее (S) или сказуемое (P) берется в полном объеме.
Не распределено — когда в суждении подлежащее (S) или сказуемое (P) берется не в полном объёме.
Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)
Объем подлежащего (S) меньше объема сказуемого (Р)
Прим.: «Все рыбы суть позвоночные»
Объемы подлежащего и сказуемого совпадают
Прим.: «Все квадраты суть параллелограммы с равными сторонами и равными углами»
Суждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)
В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым
Прим.: «Ни одно насекомое не есть позвоночное»
Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены
Часть класса подлежащего входит в класс сказуемого.
Прим.: «Некоторые книги полезны»
Прим.: «Некоторые животные суть Позвоночные»
Суждения О (частно-отрицательные суждения) Распределяет свое сказуемое (Р), но не распределяет свое подлежащее (S) В этих суждениях мы обращаем внимание на то, что есть несовпадающего между ними (заштрихованная область)
Прим.: «Некоторые животные не суть позвоночные (S)»
Прим.: «Некоторые змеи не имеют ядовитых зубов (S)»
таблица распределения подлежащего и сказуемого
Подлежащее (S)
Сказуемое (P)
А
распределено
нераспределено
Е
распределено
распределено
I
нераспределено
нераспределено
О
нераспределено
распределено
Общая классификация:
общеутвердительные (A) — одновременно общие и утвердительные («Все S+ суть P-»)
частноутвердительное (I) — частное и утвердительное («Некоторые S- суть P-») Прим: «Некоторые люди имеют черный цвет кожи»
общеотрицательное (E) — общее и отрицательные («Ни один S+ не суть P+») Прим: «Ни один человек не всеведущ»
частноотрицательное (O) — частное и отрицательное («Некоторые S- не суть P+») Прим: «Некоторые люди не имеют черного цвета кожи»
Логические отношения между простыми суждениями. "Логический квадрат". Несравнимыми среди простых являются суждения, имеющие различные субъекты или предикаты. Таковы, например, два суждения: «Среди космонавтов есть летчики»; «Среди космонавтов есть женщины». Сравнимыми являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантором. Обычно их называют суждениями одинаковой материи, Например: «Все американские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях». Отношения между простыми суждениями обычно рассматриваются с помощью мнемонической схемы, называемой логическим квадратом. Его вершины символизируют простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями. Среди сравнимых различают совместимые и несовместимые суждения. К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) эквивалентность (полная совместимость), 2) частичная совместимость (субконтрарность) и 3) подчинение. 1. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную—утвердительную или отрицательную— связку, одну и ту же выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются. 2. Частичная совместимость характерна для суждений I и О, которые могут быть одновременно истинными, но не могут быть одновременно ложными. 3. Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости. При истинности общего суждения частное всегда будет истинным При ложности частного суждения общее суждение также будет ложным Отношение несовместимости. Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие. 1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными. 2. Противоречащими (контрадикторными) являются суждения А и О; Е и I, которые одновременно не могут быть ни истинными, ни ложными. Несовместимые единичные суждения могут находиться лишь в отношении противоречия и не могут находиться в отношении противоположности, ибо каждому отдельному предмету может быть либо присущ, либо не присущ определенный признак.
Простые суждения — суждения, составными частями которых являются понятия. Простое суждение можно разложить только на понятия.
Классификация простых суждений:
По качеству
По объёму
- Общие — суждения, которые справедливы относительно всего объема понятия (Все S суть P). Пример: «Все растения живут».
- Частные — суждения, которые справедливы относительно части объема понятия (Некоторые S суть P). Пример: «Некоторые растения суть хвойные».
По содержаниюПо отношению между подлежащим и сказуемым
Субъект и предикат суждения могут быть распределены (индекс «+») или не распределены (индекс «-»).Суждения А (обще-утвердительные суждения) Распределяет свое подлежащее (S), но не распределяет свое сказуемое (P)
Объем подлежащего (S) меньше объема сказуемого (Р)
- Прим.: «Все рыбы суть позвоночные»
Объемы подлежащего и сказуемого совпадаютСуждения Е (обще-отрицательные суждения) Распределяет как подлежащее (S), так и сказуемое (P)
В этом суждении мы отрицаем всякое совпадение между подлежащим и сказуемым
Суждения I (частно-утвердительные суждения) Ни подлежащие (S), ни сказуемые (P) не распределены
Часть класса подлежащего входит в класс сказуемого.
Суждения О (частно-отрицательные суждения) Распределяет свое сказуемое (Р), но не распределяет свое подлежащее (S) В этих суждениях мы обращаем внимание на то, что есть несовпадающего между ними (заштрихованная область)
таблица распределения подлежащего и сказуемого
Общая классификация:
Логические отношения между простыми суждениями. "Логический квадрат".
Несравнимыми среди простых являются суждения, имеющие различные субъекты или предикаты. Таковы, например, два суждения: «Среди космонавтов есть летчики»; «Среди космонавтов есть женщины».
Сравнимыми являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантором. Обычно их называют суждениями одинаковой материи, Например: «Все американские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях».
Отношения между простыми суждениями обычно рассматриваются с помощью мнемонической схемы, называемой логическим квадратом. Его вершины символизируют простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями.
Среди сравнимых различают совместимые и несовместимые суждения.
К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) эквивалентность (полная совместимость), 2) частичная совместимость (субконтрарность) и 3) подчинение.
1. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную—утвердительную или отрицательную— связку, одну и ту же выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.
2. Частичная совместимость характерна для суждений I и О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
3. Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости.
При истинности общего суждения частное всегда будет истинным
При ложности частного суждения общее суждение также будет ложным
Отношение несовместимости.
Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие.
1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
2. Противоречащими (контрадикторными) являются суждения А и О; Е и I, которые одновременно не могут быть ни истинными, ни ложными.
Несовместимые единичные суждения могут находиться лишь в отношении противоречия и не могут находиться в отношении противоположности, ибо каждому отдельному предмету может быть либо присущ, либо не присущ определенный признак.
Примеры решения задач:
Источники информации:
http://studentu-vuza.ru
http://ru.wikipedia.org
Полезные ресурсы:
Информационные учебно-образовательные материалы http://www.shpora.su/prostye-suzhdeniya-ix-vidy-i-sostav/
Сайт о логике http://blogyka.ru/podborka-lekczij-po-logike/11-prostye-suzhdeniya-ix-raznovidnosti-i-xarakteristika.html
Образовательная сеть "Знание" http://pravouch.com/page/logikap/ist/ist-18--idz-ax272--nf-17.html